predicate logic of first order

[数] 一阶谓词逻辑

热门查询

vandalised　　vt. （英）破坏（等于vandalize）
kell　　女网帽
Pisa　　n. 比萨（意大利城市）
snobbish　　adj. 势利的
tito　　n. 提托（男子名）
deserted　　v. 遗弃（desert的过去式和过去分词） adj. 荒芜的；被遗弃的
skive　　vt. 把…割成薄片；削匀；研磨 vi. 逃避责任；匆匆而去
quest　　n. 追求；寻找 vt. 探索 vi. 追求；寻找 n. (Quest)人名；(德)奎斯特
Govan　　[人名] [苏格兰人姓氏] 格万职业名称，来源于盖尔语，含义是“金属工匠”(smith); [人名] [苏格兰人姓氏] 格万住所名称，来源于盖尔语，含义是“校舍”(schoolhouse); [地名] [加拿大、美国、英国] 戈万
Lebanon　　n. 黎巴嫩（西南亚国家，位于地中海东岸）
patronize　　vt. 以高人一等的态度对待；经常光顾，惠顾；资助；保护
externalized　　vt. 给…以外形；使具体化，使客观化
thirtysomething　　n. 三十多岁事业有成的人 adj. 三十多岁的（人）；三十多岁功成名就的（人）
conjunctural　　连接性的
GC　　abbr. 千兆周（gigacycle）；车底距地高（Ground Clearance）；制导计算机（Guidance Computer）
portrait　　n. 肖像；描写；半身雕塑像 n. (Portrait)人名；(法)波特雷
uranian　　adj. 乌拉尼亚的（主管天文的女神，九大缪斯之一）；天王星的；天文学的；天国的；天上的
projected　　adj. 投影的，投射 v. 投射（project的过去分词）；计划
fitness　　n. 健康；适当；适合性
administrate　　vt. 管理；经营，实施